Stochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
نویسندگان
چکیده
The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description language for the functional verification and performance evaluation of complex computer, communication and software systems.
منابع مشابه
8 th Workshop on Process Algebra and Stochastically Timed Activities PASTA 2009
Discreteness and continuity are two opposite ways of describing the world. However, there are many situations, from engines to cells, in which an hybrid description, mixing both such ingredients, seems more adequate. In this presentation, we focus on stochastic hybrid systems. We present Piecewise Deterministic Markov Processes, and we provide a simpler description language, Transition-Driven S...
متن کاملAbstract Specification Theory: An Overview
Specification Theory: An Overview Andrzej TARLECKI∗ Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences Warsaw, Poland Abstract. This paper presents an overview of abstract specification theory, as understood and viewed by the author. We start with a brief outline of the basic assumptions underlying work in this area in the tradition of alge...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملItegrating Behavioural and Performance Analysis with Topology Information
We consider -calculus, a model of concurrent processes based on the notion of naming, extended with probabilistic information. The new language is an evolution of CSP like stochastic process algebra that we call stochastic calculus. Furthermore, we integrate the semantic description of the language with topology information expressed through axioms. The new formalism is suitable to study behavi...
متن کاملPerformance Analysis of Software Architectures via a Process Algebraic Description Language
We address the problem of describing and analyzing functional and nonfunctional properties of software architectures. We thus develop an architectural description language which supports not only static semantic analysis (architectural compatibility checking) and functional verification, but also performance evaluation. To this purpose, we base our language on the stochastically timed process a...
متن کامل